Revision: tla-tools--devo--0--patch-107
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Fri Oct 17 08:06:11 JST 2003
Standard-date: 2003-10-16 23:06:11 GMT
Modified-files: ChangeLog tagline-funs.awk
New-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-107
Summary: Add python to list of recognized tagline extensions

